Commentary by cpressey on Compiler Construction works
=====================================================

<!--
Copyright (c) 2025 Chris Pressey, Cat's Eye Technologies.

SPDX-License-Identifier: CC-BY-ND-4.0
-->

### Compilers: Principles, Techniques, and Tools (1st Ed.)

a.k.a "The Dragon Book".  The classic, borderline-incomprehensible
book on compiler construction.


### Compilers and Compiler Generators


### The essence of compiling with continuations

This is the paper that introduces "A-normal form".

This paper can sometimes be found attached to a newer paper which is a retrospective on the original paper.


### An Introduction to Operational Semantics

Actually a book chapter.  future-topics: Formal Semantics


### How to compile with continuations


### Example assembly/machine instruction from lambda calculus

The top-rated answer by Colin James is much better than the accepted answer.
Colin James also wrote an article, [Compiling Lambda Calculus](https://compiler.club/compiling-lambda-calculus/),
to expand upon this answer, but I think the answer is more illuminating -
the article goes into more concrete details in OCaml and is not quite complete
(as of this writing, the promised endnotes are missing.)


### radian-software/kalyn: self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.


### natefaubion/example-functional-compiler


### namin/inc: an incremental approach to compiler construction


### bollu/tiny-optimising-compiler: A tiny optimising compiler for an imperative programming language written in haskell